符号数学
Other areas of computational mathematics include computer algebra and symbolic computation.
计算数学的其他领域包括计算机代数和符号计算。
来源:互联网摘选Metamathematics is a subject on symbolic logic, which focuses on the mathematics discrepancy.
元数学是一门数理逻辑方面的学科, 其主要研究对象是数学本身的矛盾性问题.
来源:互联网摘选Key equations are solved by using the symbolic mathematics software Maple.
在此基础上,应用符号数学软件Maple编制了单室火灾的区域模拟程序,对主要方程进行了求解。
来源:互联网摘选乔治布尔是一名曾帮助建立数学邻域中逻辑符号的英国数学家.
来源:互联网摘选称作Haskell的函数式编程语言展示了一个用于符号数学的程序,名为DoCon。
来源:互联网摘选英语网 · 双语娱乐资讯

英语网 · 高中英语

英语网 · 中考英语
英语网 · 双语新闻
英语网 · 双语新闻
英语网 · 双语娱乐资讯